Tutorial on Online Partial Evaluation

نویسندگان

  • William R. Cook
  • Ralf Lämmel
چکیده

This paper is a short tutorial introduction to online partial evaluation. We show how to write a simple online partial evaluator for a simple, pure, first-order, functional programming language. In particular, we show that the partial evaluator can be derived as a variation on a compositionally defined interpreter. We demonstrate the use of the resulting partial evaluator for program optimization in the context of model-driven development.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Development and Usability Evaluation of an Online Tutorial for “How to Write a Proposal” for Medical Sciences Students

Background and Objective: Considering the importance of learning how to write a proposal for students, this study was performed to develop an online tutorial for “How to write a Proposal” for students and to evaluate its usability. Methods: This study is a developmental research and tool design. “Gamified Online Tutorial based on Self-Determination Theory (GOT-STD) Framework" became the basis f...

متن کامل

A Type Specialisation Tutorial

The essence of partial evaluation is beautifully simple: we just take a program, together with values of some of its inputs; we perform the operations that depend only on known inputs, build a new program from the other operations, and nally obtain a residual program which solves the same problem as the original for a subclass of the cases. Work by Neil Jones and his group over the past decade ...

متن کامل

Partial Evaluation: Principles and Perspectives

The last years have witnessed a urry of new results in the area of partial evaluation. These tutorial notes survey the eld and present a critical assessment of the state of the art. 1 Introduction Partial evaluation is a source-to-source program transformation technique for specializing programs with respect to parts of their input. In essence, partial evaluation removes layers of interpretatio...

متن کامل

Student Engagement with Online Tutorial: A Perspective on Flow Theory

When students are dealing with online tutorial, there are challengers they must answer using any skill they have. The challenge and skill must be at the same ‘height’ in order for them to immerse with online tutorial activities. Several aspects will be considered as challenge and skill. One challenge under the scrutiny is the page length used to present course materials. The length of tutorial ...

متن کامل

Higher-Order Functions as a Substitute for Partial Evaluation (A Tutorial)

This tutorial shows how to rewrite an interpreter written in a higher-order functional language, so that it will become more similar to a compiler, thereby eliminating the overhead due to interpretation. 1 Defining a language by means of an interpreter When writing programs in a functional language, it is fairly easy to “extend” the language by defining an interpreter run, which will take a pro...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2011